Basix.UFL verification

Last updated: 16 November 2025

Element	Example

For each element in the table above, the verification test passes for an example if:

• The element's basis functions span the same space as Symfem.
• The number of DOFs associated with each sub-entity of the cell is the same as Symfem.
• The element has the same continuity between cells as Symfem.

The symbols in the table have the following meaning:

	Verification passes
	Verification fails

You can information about verification of other libraries on the verification page.

Verification GitHub badge

Badge	Markdown
	[.svg)](https://defelement.org/verification/*(symfem -> basix.ufl).html)